ma-interface-consistent(es;X) == i:Id. (i  dom(X))  ma-interface-consistent-at(es;i;X) 

latex

---

clarification:

ma-interface-consistent(es;X)
== i:Id. (fpf-dom(IdDeq; i; X))  ma-interface-consistent-at(es;i;X) 

latex

Definitions	x:A. B(x), Id, P  Q, b, x  dom(f), IdDeq, ma-interface-consistent-at(es;i;X)
FDL editor aliases	ma-interface-consistent